Multiset variable representations and constraint propagation

Variety Reasoning for Multiset Constraint Propagation

Set variables in constraint satisfaction problems (CSPs) are typically propagated by enforcing set bounds consistency together with cardinality reasoning, which uses some inference rules involving the cardinality of a set variable to produce more prunings than set bounds propagation alone. Multiset variables are a generalization of set variables by allowing the elements to have repetitions. In ...

Constraint Multiset

Exploiting Binary Floating-Point Representations for Constraint Propagation

Floating-point computations are quickly finding their way in the design of safetyand mission-critical systems, despite the fact that designing floating-point algorithms is significantly more difficult than designing integer algorithms. For this reason, verification and validation of floating-point computations is a hot research topic. An important verification technique, especially in some indu...

Constraint Relation Multiset Grammars for Visual Languages

This paper proposes grammars for visual languages. The proposed grammars introduce relations into the constraint multiset grammars[4J. Relations are the constraints on the relationships among symbols in visual languages. The proposed grammars. which are called constraint relation multiset grammars. have the relations as the first class citizens of the grammars because the relationships among sy...

Filtering Algorithms for the Multiset Ordering Constraint

Article history: Received 1 July 2008 Received in revised form 17 October 2008 Accepted 2 November 2008 Available online 6 November 2008